منابع مشابه
The Nameless
A personal survey of the abortion problem in Britain, based on articles in The Observer. Paul Ferris sets out the present situation clearly for the layman and gives case-histories which are often moving. He makes it clear that the existing law is archaic and socially unjust. Abortion is very much a mental health problem and psychiatrists have recently been used as a scapegoat, because society w...
متن کاملJesper Simonsen.fm
The article reviews the concept of 'strategic alignment' and presents the critique by Ciborra in SJIS (Vol. 9, No. 1) entitled "De profundis? Deconstructing the concept of strategic alignment". We present a design approach that suggests how designers, conducting design projects in a specific organization, can take care of and ensure that the design of IT is appropriately aligned with the organi...
متن کاملLocally Nameless Sigma Calculus
We present a Theory of Objects based on the original functional ςcalculus by Abadi and Cardelli [1] but with an additional parameter to methods. We prove confluence of the operational semantics following the outline of Nipkow’s proof of confluence for the λ-calculus reusing his general Commutation.thy [4] a generic diamond lemma reduction. We furthermore formalize a simple type system for our ς...
متن کاملLocally Nameless Permutation Types
We define “Locally Nameless Permutation Types”, which fuse permutation types as used in Nominal Isabelle with the locally nameless representation. We show that this combination is particularly useful when formalizing programming languages where bound names may become free during execution (“extrusion”), common in process calculi. It inherits the generic definition of permutations and support, a...
متن کاملThis Just In! Your Life in the Newspaper
It is not uncommon for computer users to work on several things at once. However, to the computer, all documents, emails and applications are considered equal, regardless of why they were created or used. Little support is provided when trying to recall important information about a particular project or subject at a later time. What is more, there is no effective way to help users review their...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Critique d’art
سال: 2012
ISSN: 1246-8258,2265-9404
DOI: 10.4000/critiquedart.5443